|
|
Logic Programming and Nonmonotonic Reasoning
by Delgrande, James P.
Publication:
. XIII, 406 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Concept Analysis
by Valtchev, Petko.
Publication:
. XII, 267 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
High Performance Computing for Computational Science – VECPAR 2010
by Palma, José M. Laginha M.
Publication:
. XIV, 470 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
SOFSEM 2011: Theory and Practice of Computer Science
by Černá, Ivana.
Publication:
. XIV, 572p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Principles of Distributed Systems
by Lu, Chenyang.
Publication:
. XII, 517p. 112 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Internet and Network Economics
by Saberi, Amin.
Publication:
. X, 580p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Sanskrit Computational Linguistics
by Jha, Girish Nath.
Publication:
. XII, 259p. 93 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Facing the Multicore-Challenge
by Keller, Rainer.
Publication:
. X, 156p. 60 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Latent Variable Analysis and Signal Separation
by Vigneron, Vincent.
Publication:
. XVIII, 655p. 182 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Graph Transformations
by Ehrig, Hartmut.
Publication:
. XII, 419p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Mathematical Software – ICMS 2010
by Fukuda, Komei.
Publication:
. XIV, 368p. 59 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Frontiers in Algorithmics
by Lee, Der-Tsai.
Publication:
. XI, 339p. 74 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Parallel Processing and Applied Mathematics
by Wyrzykowski, Roman.
Publication:
. XXIV, 596p. 272 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Parallel Processing and Applied Mathematics
by Wyrzykowski, Roman.
Publication:
. XXIV, 628p. 242 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory and Applications of Satisfiability Testing – SAT 2010
by Strichman, Ofer.
Publication:
. XIII, 400p. 74 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automata, Languages and Programming
by Abramsky, Samson.
Publication:
. XXIV, 614p. 78 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Mathematical Methods for Curves and Surfaces
by Dæhlen, Morten.
Publication:
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Principles of Distributed Systems
by Baldoni, Roberto.
Publication:
. XIV, 281 p. 62 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Colours of Infinity
by Lesmoir-Gordon, Nigel.
Publication:
. X, 207p. 198 illus., 122 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Understanding Markov Chains
by Privault, Nicolas.
Publication:
. IX, 354 p. 71 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|